Library Services | Technical University of Kenya catalog › Results of search for 'Provider:Springer London :'

Advanced search
Course reserves
Browse by hierarchy
Authority search
Tag cloud
Purchase suggestions

Your search returned 130 results.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue

	1.	Simulator-based Human Factors Studies Across 25 Years [electronic resource] : The History of the Halden Man-Machine Laboratory / edited by Ann Britt Skjerve, Andreas Bye. by Skjerve, Ann Britt \| Bye, Andreas \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. by Almeida, José Bacelar \| Frade, Maria João \| Pinto, Jorge Sousa \| Melo de Sousa, Simão \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	3.	Grids, Clouds and Virtualization [electronic resource] / edited by Massimo Cafaro, Giovanni Aloisio. by Cafaro, Massimo \| Aloisio, Giovanni \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	4.	Dynamic Management of Sustainable Development [electronic resource] : Methods for Large Technical Systems / by Zigurds Krishans, Anna Mutule, Yuri Merkuryev, Irina Oleinikova. by Krishans, Zigurds \| Mutule, Anna \| Merkuryev, Yuri \| Oleinikova, Irina \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	5.	Advances in Systems Safety [electronic resource] : Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 / edited by Chris Dale, Tom Anderson. by Dale, Chris \| Anderson, Tom \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	6.	Introduction to Software Process Improvement [electronic resource] / by Gerard O'Regan. by O'Regan, Gerard \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	7.	Migratory Interactive Applications for Ubiquitous Environments [electronic resource] / edited by Fabio Paternò. by Paternò, Fabio \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	8.	Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. by Alagar, V.S \| Periyasamy, K \| SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	9.	Sensing and Systems in Pervasive Computing [electronic resource] : Engineering Context Aware Systems / by Dan Chalmers. by Chalmers, Dan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10.	Video Processing in the Cloud [electronic resource] / by Rafael Silva Pereira, Karin K. Breitman. by Pereira, Rafael Silva \| Breitman, Karin K \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	11.	Introduction to Programming with Fortran [electronic resource] / by Ian D. Chivers, Jane Sleightholme. by Chivers, Ian D \| Sleightholme, Jane \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	12.	Biometric Systems [electronic resource] : Technology, Design and Performance Evaluation / edited by James Wayman, Anil Jain, Davide Maltoni, Dario Maio. by Wayman, James \| Jain, Anil \| Maltoni, Davide \| Maio, Dario \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	13.	Requirements Engineering [electronic resource] / by Elizabeth Hull, Kenneth Jackson, Jeremy Dick. by Hull, Elizabeth \| Jackson, Kenneth \| Dick, Jeremy \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	14.	Constructing Correct Software [electronic resource] / by John Cooke. by Cooke, John \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	15.	Creating Web-based Laboratories [electronic resource] / by C.C. Ko, Ben M. Chen, Jianping Chen. by Ko, C.C \| Chen, Ben M \| Chen, Jianping \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	16.	Validated Designs for Object-oriented Systems [electronic resource] / by John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef. by Fitzgerald, John \| Larsen, Peter Gorm \| Mukherjee, Paul \| Plat, Nico \| Verhoef, Marcel \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	17.	Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective [electronic resource] / edited by Denis Besnard, Cristina Gacek, Cliff B. Jones. by Besnard, Denis \| Gacek, Cristina \| Jones, Cliff B \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	18.	Constituents of Modern System-safety Thinking [electronic resource] : Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 / edited by Felix Redmill, Tom Anderson. by Redmill, Felix \| Anderson, Tom \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	19.	Interoperability of Enterprise Software and Applications [electronic resource] / edited by Dimitri Konstantas, Jean-Paul Bourrières, Michel Léonard, Nacer Boudjlida. by Konstantas, Dimitri \| Bourrières, Jean-Paul \| Léonard, Michel \| Boudjlida, Nacer \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	20.	Artificial Life Models in Software [electronic resource] / edited by Andrew Adamatzky, Maciej Komosinski. by Adamatzky, Andrew \| Komosinski, Maciej \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics